$\forall$$n$:$\mathbb{N}$, $a$:$\mathbb{Z}$. sum($a$ $\mid$ $x$ $<$ $n$) = ($a$ $\ast$ $n$)